/* @LICENSE(NICTA_CORE) */

/*
  Author: Alex Webster
*/

typedef int jmp_buf[10];
